Dissertation : Incremental Maintenance of Recursive Views with Applications to Tabled Logic Programming

Vulnerability analysis using dynamic attack graphs, dynamic binary analysis for mobile code security, incre-mental bisimulation algorithm. Development of algorithms for incremental evaluation of tabled logic programs and its application to program analysis, generation and analysis of multiple counterexamples for error cause localization, model checking security-relevant properties of sequential programs, and rule based program analysis. Development of rule-based system for detection and analysis of vulnerabilities in Intelligent Firewall system. on verification of security protocols, and phishing (duration 5 months) Teaching Assistant.